1. Assertion-Based Design
Author: \ Harry Foster, Adam Krolnik, David Lacey
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language),مدارهای مجتمع -- مجتمعسازی در مقیاس بسیار بزرگ -- طرح و ساختمان,مدارهای مجتمع -- راستیآزمایی,وریلاگ (زبان توصیفی سختافزار کامپیوتر)
Classification :
E-Book
,
2. Assertion-based desig
Author: / Harry Foster, Adam Krolnik, David Lacey
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Integrated circuits--Very large scale integration--Design and construction,Integrated circuits--Verification,Verilog (Computer hardware description language)
Classification :
TK
,
7874
.
75
,
F68
,
2004eb
3. Assertion-based design
Author: / Harry Foster, Adam Krolnik, David Lacey
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)
Classification :
E-BOOK
4. Assertion-based design
Author: / Harry Foster, Adam Krolnik, David Lacey
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)
Classification :
TK7874
.
75
F68
2004
5. Assertion-based design
Author: / Harry Foster, Adam Krolnik, David Lacey
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language)
Classification :
TK
7874
.
75
.
F68
2004
6. Formal verification :
Author: Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)
Classification :
TK7867
7. Formal verification : an essential toolkit for modern VLSI design
Author: Seligman, Erik
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Testing ، Electronic circuits,Design and construction ، Integrated circuits -- Very large scale integration,، Verilog )Computer hardware description language(
Classification :
TK
7867
.
S46F6
8. Hardware verification with SystemVerilog
Author: / Mike Mintz, Robert Ekendahl
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Verilog (Computer hardware description language),Integrated circuits--Verification,Object-oriented programming (Computer science)
Classification :
TK
,
7885
.
7
,.
M56
,
2007
9. Hardware verification with SystemVerilog
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: oriented programming (Computer science) ; -Verilog (Computer hardware description language) ; Integrated circuits ; Verification. ; Object
10. Principles of verifiable RTL design
Author: / Lionel Bening and Harry Foster
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Integrated circuits- Very large scale integration- Computer-aided design,Verilog (Computer hardware description language),Electronic digital computers- Computer-aided design
Classification :
TK7874
.
75
.
B47
2001
11. Principles of verifiable RTL design
Author: / Lionel Bening and Harry Foster
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Integrated circuits- Very large scale integration- Computer-aided design,Verilog (Computer hardware description language),Electronic digital computers- Computer-aided design
Classification :
E-BOOK
12. Principles of verifiable RTL design :a functional coding style supporting verification processes in Verilog
Author: Bening, Lionel
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Very large scale integration Computer-aided design ، Integrated circuits,، Verilog )Computer hardware description language(,Computer-aided design ، Electronic digital computers
Classification :
TK
7874
.
75
.
B47
2001
13. Principles of verifiable RTL design :a functional coding style supporting verification processes in Verilog
Author: Bening, Lionel
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: Very large scale integration Computer-aided design ، Integrated circuits,، Verilog )Computer hardware description language(,Computer-aided design ، Electronic digital computers
Classification :
TK
7874
.
75
.
B47
14. Step-by-step functional verification with SystemVerilog and OVM /
Author: by Iman Sasan
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Integrated circuits-- Verification,Verilog (Computer hardware description language)
15. System specification & design languages :
Author: edited by Eugenio Villar, Jean Mermet.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware description languages -- Congresses.,Computer hardware description languages.,Integrated circuits -- Very large scale integration -- Design and construction -- Congresses.
Classification :
TK7885
.
7
E358
2003
16. System verilog for verification :a guide to learning the testbench language features
Author: Spear, Chris.
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: ، Verilog )Computer hardware description language(,Verification ، Integrated circuits
Classification :
TK
7885
.
7
.
S67
17. SystemVerilog For Verification : A Guide To Learning The Testbench Language Features
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Verilog (Computer hardware description language),Integrated circuits - Verification,وریلاگ )زبان توصیفی سخت افزار کامپیوتر(,مدارهای مجتمع - تشخیص,Spear, Chris.
Classification :
CD-B
,
TK
,
7885
,.
7
,.
S67
,
2006
18. SystemVerilog assertions and functional coverage
Author: / Ashok B. Mehta
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Circuits and Systems,Electronics and Microelectronics, Instrumentation,Processor Architectures,Verilog (Computer hardware description language),Electronic digital computers, Design and construction,Integrated circuits, Verification,TECHNOLOGY & ENGINEERING / Mechanical, bisacsh
Classification :
E-BOOK
19. SystemVerilog assertions and functional coverage :guide to language, methodology and applications
Author: Mehta, Ashok B., Ashok B. Mehta
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Verilog )Computer hardware description language(,Design and construction ، Electronic digital computers,Verification ، Integrated circuits,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Processor Architectures
Classification :
TK7885
.
7
20. SystemVerilog for verification
Author: / Chris Spear
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Verilog (Computer hardware description language),Integrated circuits- Verification
Classification :
TK7885
.
7
.
S67
2006
